Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
21	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
22	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
23	Inférence d’invariants pour le model checking de systèmes paramétrés Alain Mebsout LRI, Université Paris-Sud Soutenance de thèse Add to Reading List Source URL: mebsout.github.io Language: French - Date: 2017-07-21 11:03:15
24	Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:45 Probability Dynamic programming Markov decision process Stochastic control PRISM model checker Reinforcement learning Probabilistic CTL Application software
25	Certificates for Parameterized Model Checking Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Konrad Zuse History of computing hardware Mechanical computers Computing Theoretical computer science Z1 Z2 Satisfiability modulo theories Z3 Symbol
26	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
27	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
28	An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine
29	Combination Methods for Model-Checking of Infinite-State Systems S. Ghilardi1 , E. Nicolini2 , S. Ranise2 , and D. Zucchelli1,2 1 Università 2 LORIA Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-09 05:49:18 Theoretical computer science Temporal logic Computer science Formal methods Linear temporal logic Model checking Amir Pnueli French Institute for Research in Computer Science and Automation Mathematical logic Temporal logic in finite-state verification
30	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-08-28 05:24:01